How to Install libcoq-ocaml software package in Ubuntu 14.04 LTS (Trusty Tahr)

How to Install libcoq-ocaml software package in Ubuntu 14.04 LTS (Trusty Tahr)

libcoq-ocaml software package provides runtime libraries for Coq, you can install in your Ubuntu 14.04 LTS (Trusty Tahr) by running the commands given below on the terminal,

$ sudo apt-get update
$ sudo apt-get install libcoq-ocaml

libcoq-ocaml is installed in your system.

Make ensure the libcoq-ocaml package were installed using the commands given below,

$ sudo dpkg-query -l | grep libcoq-ocaml *

You will get with libcoq-ocaml package name, version, architecture and description in a table

libcoq-ocaml package basic information:

Distro Ubuntu 14 04 lts trusty tahr
Section Ocaml
Package libcoq-ocaml
Version 8.4pl3dfsg-1
Description runtime libraries for Coq
Sub Section Ocaml


See Also, How to uninstall or remove libcoq-ocaml software package from Ubuntu 14.04 LTS (Trusty Tahr)?


Search
10 Types of TOP Command on Linux / Unix with ExamplesHow to Install and Testing MQTT Using MQTT-Malaria on UbuntuHow to Install HAProxy-1.5-stable version on Ubuntu Xenial-16.04 LTSResolved: Got permission denied while trying to connect to the Docker daemon socket in DockerHow to fix: destination path already exists error while trying to clone the git repo in Ansible?How to fix :net/http: request canceled while waiting for connection error in Terraform?What will do while getting : GCP googleapi Error 400: Unparseable iamMember in Terraform
Find and Replace a line or a Specific Word in Shell ScriptHow to Update System Clocks (Date / Time) Using NTP on LinuxYocto: How to Install Git on Your Intel Edison BoardHow to enabled Apache proxy_module, proxy_http_module in UbuntuHow to Install HAProxy-1.7-stable version on Debain Sid(Unstable)How to Install HAProxy-1.7-stable version on Ubuntu Yakkety-16.10 LTSWhat is the JavaScript version of sleep()?How do I undo git add before commit?How do I Passing Jenkins pipeline parameter to a Docker file?